Computer Science and Engineering - PDFSEARCH.IO - Document Search Engine

Computer Science and Engineering
Results: 6228

#	Item
731	Putting the User in Usable Verification Kathi Fisler WPI Department of Computer Science (joint work with Shriram Krishnamurthi, Brown University) November 3, 2010 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-03 22:22:08 Software engineering Formal methods Theoretical computer science Systems engineering Business Logic in computer science Formal verification Verification and validation Requirement Object Process Methodology Runtime verification
732	Management and Production Engineering stationary studies I-st degree Specialties: - Production Logistics (PDE) - Computer Science in Enterprise Management (PDF) - Quality Assurance Systems in Production (PDG) Add to Reading List Source URL: wbmil.portal.prz.edu.pl Language: English - Date: 2010-01-05 06:46:21 Academia Education Academic transfer Knowledge Course credit Academic term Grading systems by country Education in France
733	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
734	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-03 07:39:24 Data mining Formal sciences Web mining World Wide Web Computing Database Secure multi-party computation Communications protocol Information science Information technology Theoretical computer science
735	Optimal Mechanism Design and Money Burning Jason D. Hartline∗ Tim Roughgarden† Electrical Engineering and Computer Science Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2008-03-17 23:29:32 Mechanism design Game theory Decision theory Gaming Mathematics Bayesian-optimal mechanism Virtual valuation Prior-free mechanism VickreyClarkeGroves mechanism Vickrey auction VickreyClarkeGroves auction Valuation
736	Triage: Diagnosing Production Run Failures at the User’s Site Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos and Yuanyuan Zhou Department of Computer Science University of Illinois at Urbana Champaign Add to Reading List Source URL: www.sosp2007.org Language: English - Date: 2016-06-15 13:09:51 Software engineering Computer programming Computing Debugging Software quality Software maintenance Reliability engineering Systems engineering Software testing Fault tree analysis Triage Program slicing
737	• International Conference on Polymer Science & Engineering August 22-24, 2016 New Orleans, USA accredited and certified by The CPD Standard Office, UK • Attendees will be certified with 25 CPD credits (25 hrs) and a Add to Reading List Source URL: polymerscience.conferenceseries.com Language: English - Date: 2016-04-08 08:18:03 Obfuscation Computer programming Software engineering Toledo Nanochess
738	Model coupling with OpenMI – Introduction, basic concepts and live demonstration OpenMI Webinar – April 21st, 2016 Bernhard Becker and Andreas Burzel - Deltares , Add to Reading List Source URL: www.deltares.nl Language: English - Date: 2016-05-30 10:46:31 Software engineering Computational science Scientific modeling OpenMI Standard Coupling Economic model Web conferencing Computer simulation Business process modeling Computing Software
739	BioNav: Effective Navigation on Query Results of Biomedical Databases Abhijith Kashyap1, Vagelis Hristidis#, Michalis Petropoulos2, Sotiria Tavoulari+ * Department of Computer Science and Engineering, SUNY at Buffalo Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2008-11-11 04:32:40 Binary trees Data types Knowledge representation Computing Tree B-tree R-tree T-tree Computer programming Software engineering
740	The Complexity of Crowdsourcing: Theoretical Problems in Human Computation Anand Kulkarni Department of Industrial Engineering and Operations Research 4141 Etcheverry Hall, University of California, Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:55 Human-based computation Crowdsourcing Theoretical computer science Computing Business Collective intelligence Workflow technology Social information processing Amazon Mechanical Turk Microtask Algorithm Computation

UPDATE